Astronomers May Have Reason for Milky Way's 'Lumpiness'

Names, Equations, Relations: Practical Ways to Reason about new

The nu-calculus of Pitts and Stark is a typed lambda-calculus, extended with state in the form of dynamically-generated names. These names can be created locally, passed around, and compared with one another. Through the interaction between names and functions, the language can capture notions of scope, visibility and sharing. Originally motivated by the study of references in Standard ML, the ...

Can we have it both ways?

636,120 Ways to Have Posttraumatic Stress Disorder.

In an attempt to capture the variety of symptoms that emerge following traumatic stress, the revision of posttraumatic stress disorder (PTSD) criteria in the 5th edition of the Diagnostic and Statistical Manual of Mental Disorders (DSM-5) has expanded to include additional symptom presentations. One consequence of this expansion is that it increases the amorphous nature of the classification. U...

Does the Milky Way have a Maximal Disk?

The Milky Way is often considered to be the best example of a spiral for which the dark matter not only dominates the outer kinematics, but also plays a major dynamical role in the inner galaxy: the Galactic disk is therefore said to be “sub-maximal.” This conclusion is important to the understanding of the evolution of galaxies and the viability of particular dark matter models. The Galactic e...

Instrumentation: astronomers look to nanotechnology.

nature nanotechnology | VOL 3 | AUGUST 2008 | www.nature.com/naturenanotechnology 459 and protective shell. The nanoscale and hydrophobic structures of the network enable the otherwise water-absorbing cotton to repel water nearly as efficiently as the lotus leaf. Furthermore, the treated fabrics are stronger and more resistant to tears. Nanotube concentrations of over 2% in the applied emulsion...